Bolzano's Theory of Ground and Consequence

JOURNAL ARTICLE published 1 January 2002 in Notre Dame Journal of Formal Logic

Authors: Armin Tatzel

Second-order quantifiers and the complexity of theories.

JOURNAL ARTICLE published 1 July 1985 in Notre Dame Journal of Formal Logic

Authors: J. T. Baldwin | S. Shelah

Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras

JOURNAL ARTICLE published 1 October 1996 in Notre Dame Journal of Formal Logic

Authors: Oleg V. Belegradek

Full satisfaction classes: a survey.

JOURNAL ARTICLE published 1 September 1991 in Notre Dame Journal of Formal Logic

Authors: Henryk Kotlarski

A sequent- or tableau-style system for Lewis's counterfactual logic ${rm VC}$.

JOURNAL ARTICLE published 1 June 1992 in Notre Dame Journal of Formal Logic

Authors: Ian Philip Gent

A Note on Torsion Modules with Pure Embeddings

JOURNAL ARTICLE published 1 November 2023 in Notre Dame Journal of Formal Logic

Authors: Marcos Mazari-Armida

On identity and interchangeability in Leibnitz and Frege.

JOURNAL ARTICLE published 1 April 1967 in Notre Dame Journal of Formal Logic

Authors: Ignacio Angelelli

A note on naive set theory in ${rm LP}$.

JOURNAL ARTICLE published 1 June 1992 in Notre Dame Journal of Formal Logic

Authors: Greg Restall

On the Decidability of Axiomatized Mereotopological Theories

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Hsing-chien Tsai

A General Concept of Being a Part of a Whole

JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic

Authors: Andrzej Pietruszczak

Ordinal Exponentiations of Sets

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Laurence Kirby

Substructural Fuzzy-Relevance Logic

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Eunsuk Yang

From Closure Games to Strong Kleene Truth

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Stefan Wintein

Reverse Mathematics and the Coloring Number of Graphs

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Matthew Jura

Controlling Effective Packing Dimension of Δ20 Degrees

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Jonathan Stephenson

Functional Dependence in Strategic Games

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Kristine Harjes | Pavel Naumov

Canjar Filters

JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic

Authors: Osvaldo Guzmán | Michael Hrušák | Arturo Martínez-Celis

Free ${rm S}5$ algebras.

JOURNAL ARTICLE published 1 January 1978 in Notre Dame Journal of Formal Logic

Authors: Alfred Horn

Closed Maximality Principles and Generalized Baire Spaces

JOURNAL ARTICLE published 1 May 2019 in Notre Dame Journal of Formal Logic

Authors: Philipp Lücke

Kripke's deontic semantics again.

JOURNAL ARTICLE published 1 October 1973 in Notre Dame Journal of Formal Logic

Authors: John Bacon